class FILTER_SET_VIEW{ETP} < $RO_SET{ETP} |
---|
$RO_SET{_} | $STR | $CONTAINER{_} | $ELT{_} | $ELT | RO_SET_INCL{_} | COMPARE{_} |
copy: SAME |
---|
**** | Copy returns a copy of the same type of set |
create(s: $RO_SET{ETP}, |
---|
has(e: ETP): BOOL |
---|
elt!: ETP |
---|
attr |
---|
attr |
---|
attr source: $RO_SET{ETP}; |
---|
attr source: $RO_SET{ETP}; |
---|